معنای عملیاتی برای یک زبان مبتنی براکتور

Authors

علی موقر رحیم آبادی

الهام موسوی

نیلوفر رضوی

مرجان سیرجانی

abstract

باتوجه به رشد روز افزون استفاده از سیستم های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیا‎ء واکنشی مستقل از هم، اجزاء تشکیل دهنده ی مدل هستند که با تبادل ناهمگام پیام با یکدیگر در ارتباط هستند. ایجاد پویای اشیاء واکنشی و تغییر پویای پیکربندی از ویژگی های این زبان است. این زبان به همراه توصیف صوری و قانونمند آن، پایه محکمی برای داشتن یک ابزار جهت وارسی سیستم های واکنشی بوده است.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

حالت و معنای حالت در زبان روسی

در دستور سنتی زبان روسی، ویژگی دستوری "حالت " به عنوان یکی از ویژگی های دستوری تغییردهنده در ارتباط با اسم تعیین می شود و بر این اساس، شش حالت صرفی تحت عناوین "حالت نهادی، " حالت اضافی "، "حالت به ای "، "حالت مفعول مستقیم "، "حالت بایی " و "حالت حرف اضافه ای " مشخص می شوند. " صرف اسمی " از سوی دستورنویسان روس عمدتأ به شکل های مختلف اسم که موجب ویژگی دستوری "حالت " به دست می آیند، اطلاق می شود و...

full text

شناسایی رفتارهای عملیاتی مبتنی بر ارزش‌های سازمانی در لایه‌ی عملیاتی

جاری‌سازی ارزش‌های سازمانی موجب بهبود رفتار کارکنان شده و اخلاق حرفه‌ای به مبنایی برای کسب‌وکار بدل می‌گردد. توجه به چگونگی و سازوکارهای لازم برای جاری‌سازی ارزش‌ها و تبدیل آن به رفتارهای عملیاتی در لایه‌ی عملیاتی کمتر مورد توجه قرار گرفته است. به این منظور، ضمن مروری مستند بر ادبیات موضوع، نتایج به‌دست‌آمده، طی مطالعه‌ی موردی در شرکت فولاد مبارکه‌ی اصفهان، مورد بررسی قرار گرفته است. بر این اسا...

full text

طراحی یک ردیاب برای یک ماهواره‌بر مبتنی بر خطی‌سازی برخط

به دلیل حضور برخی ترم‌های غیر خطی در معادلات پرواز یک ماهواره‌بر باید یک راهبرد مناسب و پایدار کنترلی برای غلبه بر این ترم‌ها و در نتیجه، فرایند ردیابی صحیح مسیر بهینۀ رسیدن ماهواره‌بر به مدار مورد نظر را طراحی کرد. در این مقاله، مبانی طراحی یک کنترل‌کننده برای سیستم غیر خطی نوین و ساده با هدف کنترل یک نوع ماهواره‌بر در جهت ردیابی مسیر بهینۀ آن توضیح داده می‌شود. مبنای اساسی این استراتژی، خطی‌س...

full text

سیستم تشخیص ناهنجاری مبتنی بر هشدار برای مقابله با تهدیدهای عملیاتی در سیستم اسکادا

حمله به سیستم‌های اسکادا در زیرساخت‌های حیاتی خسارت‌های جبران‌ناپذیری به همراه دارد. چنانچه اپراتورهای اسکادا وظایف خود را به‌درستی انجام ندهند، در فرآیندهای جاری سیستم اختلال به­وجود می‌آید. عملکرد نامناسب اپراتورها در کنترل فرآیندها به‌عنوان تهدید عملیاتی شناخته می‌شود. ازآنجایی‌که هشدارها یکی از مهم‌ترین پارامترها در سیستم‌های اسکادا می‌باشند، در این مقاله یک سیستم تشخیص ناهنجاری مبتنی بر هش...

full text

My Resources

Save resource for easier access later


Journal title:
نشریه دانشکده فنی

Publisher: دانشکده فنی

ISSN 0803-1026

volume 40

issue 2 2006

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023